Consistent test of error-in-variables partially linear model with auxiliary variables
نویسندگان
چکیده
منابع مشابه
Estimation in a Semiparametric Partially Linear Errors-in-variables Model
We consider the partially linear model relating a response Y to predictors (X,T ) with mean function XTβ+g(T ) when the X’s are measured with additive error. The semiparametric likelihood estimate of Severini and Staniswalis (1994) leads to biased estimates of both the parameter β and the function g(·) when measurement error is ignored. We derive a simple modification of their estimator which i...
متن کاملAuxiliary Variables in TLA+
Auxiliary variables are often needed for verifying that an implementation is correct with respect to a higher-level specification. They augment the formal description of the implementation without changing its semantics—that is, the set of behaviors that it describes. This paper explains rules for adding history, prophecy, and stuttering variables to TLA specifications, ensuring that the augmen...
متن کاملPartially Linear Models with Missing Response Variables and Error-prone Covariates.
We consider partially linear models of the form Y = X(T)beta + nu(Z) + epsilon when the response variable Y is sometimes missing with missingness probability pi depending on (X, Z), and the covariate X is measured with error, where nu(z) is an unspecified smooth function. The missingness structure is therefore missing not at random, rather than the usual missing at random. We propose a class of...
متن کاملLinear regression model with histogram-valued variables
Histogram-valued variables are a particular kind of variables studied in Symbolic Data Analysis where to each entity under analysis corresponds a distribution that may be represented by a histogram or by a quantile function. Linear regression models for this type of data are necessarily more complex than a simple generalization of the classical model: the parameters cannot be negative; still th...
متن کاملAuxiliary Variables and Recursive Procedures
Much research in axiomatic semantics suuers from a lack of formality. In particular, most proposed veriication calculi for imperative programs dealing with recursive procedures are known to be unsound or incomplete. Focussing on total correctness, we present a new consequence rule which yields a sound and complete Hoare-style calculus in the presence of parameterless recursive procedures. Both,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Multivariate Analysis
سال: 2015
ISSN: 0047-259X
DOI: 10.1016/j.jmva.2015.07.007